Making research methodologies in theoretical computing explicit

Making Nondeterminism Explicit in Z

Specification of system requirements is often involved with ambiguity and nondeterminism. Formal methods tend to mitigate ambiguity but nondeterminism remains as an inherent part of specification. This is due to the abstraction from real world details that causes a formal specification to define several results as a correct solution to a problem. Hence, a support for nondeterminism should be fo...

Making Implicit Parameters Explicit

In almost all languages all arguments to functions are to be given explicitly. The Haskell class system however is an exception: functions can have class predicates as part of their type signature, and dictionaries are implicitly constructed and implicitly passed for such predicates, thus relieving the programmer from a lot of clerical work and removing clutter from the program text. Unfortunat...

Making Thoughts Explicit:

Testing the validity of knowledge requires formal expression of that knowledge. Formality of an expression is defined as the invariance, under changes of context, of the expression’s meaning, i.e. the distinction which the expression represents. This encompasses both mathematical formalism and operational determination. The main advantages of formal expression are storability, universal communi...

Communicating your findings in engineering education: the value of making your theoretical perspective explicit

Development Methodologies for Cloud Computing

Cloud computing is recently taking a significant focus in the information technology fields as a possible future trend for how computer services and applications can be provided to users or businesses. Cloud computing is utilizing the recent large expansion of Internet and network technologies where the increase in the data size and transfer speed made it possible to make the Internet or the cl...